Modular and Distributed Verification of SysML Activity Diagrams

International audienceModel-based development for complex system design has been used to support the increase of systems complexity. SysML is a modeling language that allows a system description with various integrated diagrams, but SysML lacks formality for the requirement verification. Translating SysML-based specification into Petri nets allows to enable rigorous system analysis. However, for complex systems, we have to deal with the state space explosion problem. In this paper, we propose new approach to allow a modular and distributed verification of SysML Activity Diagram basing on the derived Petri net

Reachabilty Analysis For Recursive Petri Nets With Shared Places

International audienceRecursive Petri Nets (RPN) are used to model systems composed of dynamic threads. In this paper, the proposed extensions improve the communications via global places and immediate transitions. For this new model called ERPN, we address the reachability problem in a modular approach. Because threads are dynamic, their abstractions requires to preserve traces of the ability to communicate. For the concern of infinite ERPNs, semantical constraints are proposed to ensure the termination of the reachability procedure

11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2021)

International audienceIn order to satisfy their requirements, the verification and validation of the design of complex systems is a primary task. The main goal of the present work is to propose a model-based system engineering specification and verification methodology for the design and performance evaluation of an example of these systems, namely Wireless Sensor Networks (WSN). The proposed approach uses SysML language to describe the WSNs requirements, behaviors and performance parameters. Then, it translates the SysML elements to a Deterministic Stochastic Petri Net (DSPNs) and integrates them into an analytic model. The current paper improves the first part of this project; the transformation from SysML to a DSPN is done by integrating the performance parameters into the SysML activity diagram and not into the SysML parametric diagram. An other contribution is to refine the second part of our methodology by verifying the system behavior and evaluating its energy consumption

Detecting DoS attacks in WSN based on Clustering Technique

International audienc

Preventing Denial of Service Attacks in Wireless Sensor Networks

International audienc

Modeling accordeon method using SAN

International audienc

Detecting DoS attacks in WSN based on Clustering Technique

International audienc

Preventing Denial of Service Attacks in Wireless Sensor Networks

International audienc

A clustering method for wireless sensors networks

International audienceClustering algorithms have been widely used in many domains so as to partition a set of elements into several subsets, each subset (or ”cluster”) grouping elements which share some similarities. These algorithms are particularly useful in wireless sensor networks (WSNs), where they allow data aggregation and energy cuts. By forming clusters and electing cluster heads responsible for forwarding their packets, the small devices that compose WSNs have not to reach directly the base station (BS) of the network. They spare energy and they can lead further in time their measuring task, so as to detect forest fires or water pollution for example. In this paper, we will apply a new and general clustering algorithm, based on classificability and ultrametric properties, to a WSN. Our goal is to get clusters with a low computational complexity, but with an optimal structure regarding energy consumption